solving logarithmic equations for x